Products of modal logics and tensor products of modal algebras
نویسندگان
چکیده
منابع مشابه
Tensor products of modal logics
Products were introduced in the 1970s as a natural type of combined modal logics. They arise in different areas of pure and applied logics — spatial reasoning, multi-agent systems, quantified modal and intuitionistic logics etc. The theory of products was systematized and essentially developed first in the paper [GS98] and then in the book [GKWZ03], but during the past 10 years new important re...
متن کاملComplexity of Products of Modal Logics
A relatively new way of combining modal logics is to consider their products. The main application of these product logics lies in the description of parallel computing processes. Axiomatics and decidability of the validity problem have been rather extensively investigated and many logics behave well in these respects. In this paper we look at the product construction from a computational compl...
متن کاملProducts of Modal Logics, Part 1
The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It proves results on axiomatisability, the finite model property and decidability for product logics, by applying a rather elaborated modal logic technique: p-morphisms, the finite depth method, normal forms, filtrations. Applications to first order predicate logics are considered too. The introduction a...
متن کاملOn the Products of Linear Modal Logics
We study two-dimensional Cartesian products of modal logics determined by infinite or arbitrarily long finite linear orders and prove a general theorem showing that in many cases these products are undecidable, in particular, such are the squares of standard linear logics like K4:3, S4:3, GL:3, Grz:3, or the logic determined by the Cartesian square of any infinite linear order. This theorem sol...
متن کاملTopological-frame products of modal logics
The simplest bimodal combination of unimodal logics L1 and L2 is their fusion, L1 ⊗ L2, axiomatized by the theorems of L1 for 1 and of L2 for 2, and the rules of modus ponens, substitution and necessitation for 1 and for 2. Shehtman introduced the frame product L1 × L2, as the logic of the products of certain Kripke frames: these logics are two-dimensional as well as bimodal. Van Benthem, Bezha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2014
ISSN: 1570-8683
DOI: 10.1016/j.jal.2014.08.002